PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.7.17 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2025-01-23 22:37:32
hourdayweektotal
4812407633283095
Elapsed time: 1.71335s